Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
521	How independent are the variants of a linguis4c variable? and how much does it ma9er? Daniel Ezra Johnson (Lancaster University) Add to Reading List Source URL: www.danielezrajohnson.com Language: English - Date: 2015-03-25 11:45:33 Econometrics Data types Type theory Social psychology Sociolinguistics Regression analysis Variable Arthur Schopenhauer Environment variable Computing Statistics Mathematics
522	The Portable Extensible Toolkit for Scientific computing This talk: http://59A2.org/filesACTS.pdf Jed Brown Mathematics and Computer Science Division, Argonne National Laboratory ACTS Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2011-08-17 11:02:00 Numerical analysis Portable Extensible Toolkit for Scientific Computation SLEPc OOFEM FEniCS Project Lis Computer cluster JUGENE Preconditioner Numerical linear algebra Computing Software
523	The Fractured Nature of British Politics Carlos Molinero∗, Elsa Arcaute , Duncan Smith , and Michael Batty arXiv:submitphysics.soc-ph] 1 MayCentre for Advanced Spatial Analysis (CASA) Add to Reading List Source URL: www.spatialcomplexity.info Language: English - Date: 2015-05-01 07:44:50 Critical phenomena Computing Lattice models Percolation threshold Percolation theory Cluster analysis Percolation Computer cluster Conductivity near the percolation threshold Statistics Mathematics Combinatorics
524	Design of Optimal Robot User Interfaces Kris Hauser School of Informatics and Computing, Indiana University at Bloomington {hauserk}@indiana.edu I. I NTRODUCTION Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 07:00:09 Differential calculus Algebra Differential equation Derivative Group action Controllability State space Differential of a function PROPT Mathematical analysis Mathematics Control theory
525	Computer algebra in quantum computing and quantum information theory Special Session at the 21st International Conference on Applications of Computer AlgebraACA2015), July 20-23, 2015, Kalamata, Greece. Add to Reading List Source URL: www.iitis.pl Language: English - Date: 2014-11-26 05:29:41 Quantum mechanics Computational complexity theory Computer algebra Quantum information Quantum information theory Quantum computer Quantum algorithm Symbolic computation Schrödinger equation Applied mathematics Theoretical computer science Physics
526	International Journal of Computing and Optimization Vol. 2, 2015, no. 2, HIKARI Ltd, www.m-hikari.com http://dx.doi.orgijcoThe Bilevel Road Pricing Problem Add to Reading List Source URL: www.m-hikari.com Language: English - Date: 2015-05-21 08:10:39 Operations research Mathematical optimization Shortest path problem Optimization problem Theoretical computer science Mathematics Computational complexity theory
527	Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2006-04-21 06:44:27 Mathematics Rounding Floating point Unit in the last place Methods of computing square roots Division Multiply–accumulate operation Computer arithmetic Arithmetic Numbers
528	JMLR: Workshop and Conference Proceedings 34:3–20, 2014 Proceedings of the 12th ICGI Grammar Compression: Grammatical Inference by Compression and Its Application to Real Data Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Linguistics Lempel–Ziv–Welch String Formal grammar Huffman coding Binary tree Context-free grammar Formal languages Computing Mathematics
529	On the Impact of Identifiers on Local Decision? Pierre Fraigniaud1?? , Magn´ us M. Halld´orsson2? ? ? , and Amos Korman∗∗ 1 2 Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2012-10-01 06:03:38 NP-complete problems Network flow Graph coloring Randomized algorithm Connectivity Flow network Distributed computing Modular decomposition Belief propagation Graph theory Theoretical computer science Mathematics
530	Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {.}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2015-04-10 11:01:31 Logic in computer science Rippling Theorem Formal methods Postcondition First-order logic Mathematical proof Precondition IP Logic Mathematics Theoretical computer science

UPDATE